Automated reasoning - PDFSEARCH.IO - Document Search Engine

Automated reasoning
Results: 284

#	Item
101	Managing Online Self-Adaptation in Real-Time Environments Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach Automated Reasoning Group Honeywell Laboratories MN65-2200 Add to Reading List Source URL: musliner.com Language: English - Date: 2009-09-17 13:54:21
102	Journal of Automated Reasoning 30: 271–321, 2003. © 2003 Kluwer Academic Publishers. Printed in the NetherlandsA Type System for the Java Bytecode Language Add to Reading List Source URL: dept.cs.williams.edu Language: English - Date: 2007-08-07 13:03:20
103	Automated Reasoning and Program Verification ´ Laura Kovacs TU Vienna Decision Procedures for Propositional Satisfiability Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2015-03-11 10:32:44
104	IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ? Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-03-10 05:42:39 Automated theorem proving Theoretical computer science Mathematical logic Mathematics IsaPlanner Automated reasoning Isabelle Rippling Mathematical proof Interactive Theorem Proving Theorem Mathematical induction
105	First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology Add to Reading List Source URL: www.cyc.com Language: English - Date: 2015-06-15 14:07:47 Logic Abstraction Mathematical logic Reasoning Ontology Automated theorem proving Predicate logic Knowledge representation Cyc Knowledge representation and reasoning Upper ontology Semantic reasoner
106	Automated Reasoning and Program Verification ´ Laura Kovacs TU Vienna Problems – Where are we now? Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2015-03-19 10:24:38
107	Automated Reasoning Workshop 2011 Department of Computing Science University of Glasgow April 11th – 12th Add to Reading List Source URL: www.mettel-prover.org Language: English - Date: 2014-04-01 08:48:03
108	Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-10-06 07:21:32 Automated theorem proving Theoretical computer science Mathematics Heuristics Rippling Mathematical logic Lemma Unification
109	Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow Add to Reading List Source URL: www.dagstuhl.de Language: English - Date: 2010-04-21 04:49:56 Theoretical computer science Mathematical logic Logic Logic in computer science Automated theorem proving Formal methods Model theory Satisfiability modulo theories Automated reasoning Presburger arithmetic First-order logic Formal verification
110	Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis David J. Musliner Automated Reasoning Group Honeywell Technology Center 3660 Technology Drive, Minneapolis, MN 55418? Add to Reading List Source URL: musliner.com Language: English - Date: 2008-12-19 05:47:52